منابع مشابه
Analyzing Stealth Games with Distractions
The ability to distract opponents is a key mechanic in many stealth games. Existing search-based approaches to stealth analysis, however, focus entirely on solving the non-detection problem, for which they rely on static, ahead-of-time models of guard movements that do not depend on player interaction. In this work we extend and optimize an approach based on heuristic search of stealth games to...
متن کاملAnalyzing Proprietary Games Engines for Developing Educational and Serious Games
Gamification is the use of game design elements to enhance the teaching-learning process; with gamification it is possible to make a routine nongame activity such into a game that is engaging and fun. Also serious games are proposed as a more efficient and enjoyable way to carry out cognitive assessment, the serious games combine a serious intention with game's rules and targets. This paper pre...
متن کاملAnalyzing Stigmergetic Algorithms Through Automata Games
The concept of stigmergy is usually defined as a class of mechanisms that mediate animal to animal interaction through the environment. The idea behind stigmergy is that individuals coordinate their actions by locally modifying the environment rather than by direct interaction. The changed environmental situation caused by one animal, will stimulate others to perform certain actions. This conce...
متن کاملGames Programs Play: Analyzing Multiplayer Programs
In this paper we present the first automatic technique for symbolically proving alternation-free μ-calculus properties of infinitestate, higher-order programs. In particular, we show how weak-recurrence solvability can be lifted from finite-state programs to higher-order recursive programs. Our strategy reduces the search for a proof of a winning strategy to nontermination of higher-order progr...
متن کاملAnalyzing Games with Ambiguous Player Types
6 In many common interactive scenarios, participants lack information 7 about other participants, and specifically about the preferences of other 8 participants. In this work, we model an extreme case of incomplete 9 information, which we term games with type ambiguity, where a participant 10 lacks even information enabling him to form a belief on the preferences of 11 others. Under type ambigu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Semantics and Pragmatics
سال: 2017
ISSN: 1937-8912
DOI: 10.3765/sp.10.17